Space overhead bounds for dynamic memory management with partial compaction
نویسندگان
چکیده
منابع مشابه
Lower Bounds for Dynamic Partial Sums
Let G be a group. The partial sums problem asks to maintain an array A[1 . . n] of group elements, initialized to zeroes (a.k.a. the identity), under the following operations: update(k,∆): modify A[k]← ∆, where ∆ ∈ G. query(k): returns the partial sum ∑k i=1A[i]. For concreteness, let us work on a machine with w-bits words (w ≥ lg n), and take G to be Z/2wZ, i.e. integer arithmetic on machine w...
متن کاملDiscrete Element Modeling of Dynamic Compaction with Different Tamping Condition
Dynamic Compaction (DC) is a common deep compaction method that is usually used for densification of coarse-grained soils. Although traditional continuum-based models such as the Finite Element Method can be successfully applied for assessment of stress distributions or deformations induced by DC, they are typically not adequate for capturing the grain scale mechanisms of soil behavior under im...
متن کاملQuantifying and Evaluating the Space Overhead in C++ Memory Layouts
This paper develops a formalism that precisely characterizes when class tables are required for C++ memory layouts. A memory layout is a particular choice of data structures for implementing run-time support for object-oriented languages. We use this formalism and other techniques to quantify and evaluate, on a set of benchmarks, the space overhead for a set of C++ memory layouts. In particular...
متن کاملNumerical simulation of dynamic soil compaction with vibratory compaction equipment
Roller drums make use of various shapes and their dynamic compaction effect is achieved by different kinds of dynamic excitation systems. The bearing capacity of layered soil constructions can be measured during the soil compaction process. The finite element method has been applied for dynamic analyses using elastic models. For the realistic simulation of the dynamic compaction process it is n...
متن کاملSignature Rollback with Extreme Compaction – a Technique for Testing Robust Vlsi Circuits with Reduced Hardware Overhead
With the decreasing feature size of today’s nanoelectronic circuits, the susceptibility to transient failures increases. New robust and self-adaptive designs are developed, which can handle transient error to some extent, but at the same time make testing for permanent faults more difficult. This paper reviews the “signature rollback“ scheme as a strategy to minimize both test time and yield lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1925844.1926441